BRICS RSO. Danvy: Sur un Exemple de Patrick Greussay BRICS Basic Research in Computer Science

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSAceto et al.: Checking Consistency of Pedigree Information is NP-complete Checking Consistency of

Source URL: www.brics.dk

• Philosophy of biology
• Genetic linkage
• Genotype
• Heredity
• Dominance
• Phenotypic trait
• Recessive
• Introduction to genetics
• Phenotype
• Genetics
• Classical genetics
• Biology

BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation

Source URL: www.brics.dk

• Computing
• LR parser
• Parsing
• Bottom-up parsing
• LL parser
• Top-down parsing
• Formal grammar
• Context-free grammar
• Terminal and nonterminal symbols
• Formal languages
• Software engineering
• Programming language implementation

BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes

Source URL: www.brics.dk

• Markov processes
• Mathematical sciences
• Markov models
• Probabilistic bisimulation
• Bisimulation
• Stochastic processes
• Markov chain
• Probability theory
• State transition system
• Statistics
• Theoretical computer science
• Applied mathematics

Microsoft Word - Document1

Source URL: www.iuphar.org

• Clinical pharmacology
• International Council for Science
• K. K. Chen
• Science
• Structure
• Health
• International Union of Basic and Clinical Pharmacology
• Pharmaceuticals policy
• Pharmacology

CHAPTER 3 Geochemical Methodology 3.1 Aims and scope of geochemical site investigations The aims of the geochemical site investigations undertaken for the HMS-IRC project were: (1) To provide a basic chemical characteris

Source URL: www.epa.ie

• Chemistry
• Spectroscopy
• Science
• Tailings
• X-ray fluorescence
• Mining
• X-ray spectroscopy
• Analyser
• Spoil tip
• Waste
• Environment
• Environmental issues with mining

Similarity Approach to Defining Basic Level of Concepts Explained from the Utility Viewpoint Joe Lorkowski and Martin Trnecka Department of Computer Science University of Texas at El Paso 500 W. University

Source URL: www.cs.utep.edu

• Open set
• Mathematics
• Space
• Philosophy of mind
• Decision theory
• Utility
• Similarity

BRICS Basic Research in Computer Science BRICS RSJ. M. Nielsen: On the Number of Maximal Independent Sets in a Graph On the Number of Maximal Independent Sets

Source URL: www.brics.dk

• NP-complete problems
• Maximal independent set
• Independent set
• Graph coloring
• Clique
• Extremal graph theory
• Domatic number
• Path decomposition
• Graph theory
• Theoretical computer science
• Mathematics

BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for

Source URL: www.brics.dk

• Functors
• Monad
• Kleisli category
• Limit
• Universal property
• Natural transformation
• Equivalence of categories
• Enriched category
• Cartesian closed category
• Category theory
• Adjoint functors
• Monoidal categories

BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with

Source URL: www.brics.dk

• Model theory
• Metalogic
• Predicate logic
• Electronic design automation
• Linear temporal logic
• First-order logic
• Boolean satisfiability problem
• Well-formed formula
• Constructible universe
• Logic
• Mathematical logic
• Theoretical computer science